On accessibility and normal accessibility: the openness of controllability in the fine C° topologyGRASSE, K. A.Journal of differential equations (Print). 1984, Vol 53, Num 3, pp 387-414, issn 0022-0396Article

Infinity of intermediate states is decidable for Petri netsWIMMEL, Harro.Lecture notes in computer science. 2004, pp 426-434, issn 0302-9743, isbn 3-540-22236-7, 9 p.Conference Paper

A note on discrete-time positive realizationsFARINA, L.Systems & control letters. 1994, Vol 22, Num 6, pp 467-469, issn 0167-6911Article

Local accessibility, local reachability, and representations of compact groupsCROUCH, P. E; BYRNES, C. I.Mathematical systems theory. 1986, Vol 19, Num 1, pp 43-65, issn 0025-5661Article

Asymptotic orders of reachability in perturbed linear systemsOZVEREN, C. M; VERGHESE, G. C; WILLSKY, A. S et al.IEEE transactions on automatic control. 1988, Vol 33, Num 10, pp 915-923, issn 0018-9286Article

ON CANONICAL FORMS FOR LINEAR CONSTANT SYSTEMS = SUR LES FORMES CANONIQUES POUR LES SYSTEMES CONSTANTS LINEAIRESANTOULAS AC.1981; INT. J. CONTROL; ISSN 0020-7179; GBR; DA. 1981; VOL. 33; NO 1; PP. 95-122; BIBL. 13 REF.Article

Reachability analysis in boxed ambientsBUSI, Nadia; ZAVATTARO, Gianluigi.Lecture notes in computer science. 2005, pp 143-159, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 17 p.Conference Paper

U-reachability and U-controllability of 2-D Roesser modelKACZOREK, T.Bulletin of the Polish Academy of Sciences. Technical sciences. 1995, Vol 43, Num 1, pp 31-37, issn 0239-7528Article

Polynomial control systemsJURDJEVIC, V; KUPKA, I.Mathematische Annalen. 1985, Vol 272, Num 3, pp 361-368, issn 0025-5831Article

Global reachability results for systems with constrained controllersSCHMITENDORF, W. E; HWANG, W. G.Journal of optimization theory and applications. 1985, Vol 46, Num 4, pp 581-590, issn 0022-3239Article

Asymptote d'ellipsoïdes approchant les domaines d'accessibilitéKLEPFISH, B. R; OVSEEVICH, A. I.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1984, Num 2, pp 66-69, issn 0002-3388Article

Straight line reachability of Roesser modelKACZOREK, T.IEEE transactions on automatic control. 1987, Vol 32, Num 7, pp 637-639, issn 0018-9286Article

When does the local controllability of the general model of 2-D linear systems imply its local reachability?KACZOREK, T.Systems & control letters. 1994, Vol 23, Num 6, pp 445-452, issn 0167-6911Article

Semidynamical systems with non unique global backward extensionsELAYDI, S.Funkcialaj Ekvacioj. 1983, Vol 26, Num 2, pp 173-187, issn 0532-8721Article

On flatness for 2-dimensional vector addition systems with statesLEROUX, Jérome; SUTRE, Grégoire.Lecture notes in computer science. 2004, pp 402-416, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

Efficient reachability analysis of bounded Petri nets using constraint programmingBOURDEAUD'HUY, Thomas; YIM, Pascal; HANAFI, Said et al.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol2, 1870-1875Conference Paper

Reachable set of open quantum dynamics for a single spin in Markovian environmentHAIDONG YUAN.Automatica (Oxford). 2013, Vol 49, Num 4, pp 955-959, issn 0005-1098, 5 p.Article

Ensuring completeness of symbolic verification methods for infinite-state systemsPAROSH AZIZ ABDULLA; JONSSON, Bengt.Theoretical computer science. 2001, Vol 256, Num 1-2, pp 145-167, issn 0304-3975Article

Enumeration of reachable states for arbitrary marked graphsHONG, L; CHAO, D. Y.IET control theory & applications (Print). 2012, Vol 6, Num 10, pp 1536-1543, issn 1751-8644, 8 p.Article

Fast infinite-state model checking in integer-based systemsRYBINA, Tatiana; VORONKOV, Andrei.Lecture notes in computer science. 2003, pp 546-573, issn 0302-9743, isbn 3-540-40801-0, 28 p.Conference Paper

Reachability in cyclic extended free-choice systemsDESEL, J; ESPARZA, J.Theoretical computer science. 1993, Vol 114, Num 1, pp 93-118, issn 0304-3975Conference Paper

Reachability matrix and relation to large-scale systemsEVANGELATOS, D. S; NICHOLSON, H.International Journal of Control. 1988, Vol 47, Num 5, pp 1163-1177, issn 0020-7179Article

Analysis of Petri nets with a dynamic priority methodBAUSE, F.Lecture notes in computer science. 1997, pp 215-234, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Reachability is decidable in the numbers gameERIKSSON, K.Theoretical computer science. 1994, Vol 131, Num 2, pp 431-439, issn 0304-3975Article

Reachability of a system described by the multidimensional Roesser modelKUREK, J. E.International Journal of Control. 1987, Vol 45, Num 5, pp 1559-1563, issn 0020-7179Article